DEF=verif
EXT=verif
TESTDIR=.
KOMPILE_BACKEND=haskell

include ../include/ktest.mak

CONSIDER_PROVER_ERRORS=2>&1 | sed -n '/^\[Error\]/p'
